Poster: Secure Computations of Trigonometric and Inverse Trigonometric Functions Fattaneh Bayatbabolghani∗ , Marina Blanton† , Mehrdad Aliasgari‡ and Michael Goodrich§ ∗ Computer Science and Engineering, Univer

Source URL: www.ieee-security.org

• Mathematical analysis
• Special functions
• Mathematics
• Trigonometry
• Angle
• Dimensionless numbers
• Ratios
• Analytic functions
• Trigonometric functions
• Sine
• Taylor series
• Polynomial

The University of York Department of Computer Science Programming Languages and Systems Group Unfailing Haskell Qualifying Dissertation

Source URL: community.haskell.org

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Recursion
• Higher-order functions
• Programming language comparisons
• Haskell
• Lazy evaluation
• ML
• Conditional

A preliminary version of this paper appears in Advances in Cryptology – CRYPTO ’06, Lecture Notes in Computer Science Vol. 4117 , C. Dwork ed., Springer-Verlag, 2006. This is the full version. New Proofs for NMAC and

Source URL: cseweb.ucsd.edu

• Cryptography
• Hashing
• Pseudorandomness
• HMAC
• Pseudorandom function family
• Cryptographic hash function
• Hash function
• Oracle machine
• Block cipher

On Frequency LTL in Probabilistic Systems Vojtěch Forejt1 and Jan Krčál2 1 2 Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Theoretical computer science
• Model checking
• Finite automata
• Linear temporal logic
• Mathematical logic
• Formal languages
• Mathematics
• Bchi automaton
• Omega language
• Markov decision process
• Computation tree logic

Timothy Alden Davis Department Computer Science and Engineering Texas A&M University 3112 TAMU, College Station, Texasemail: web: http://faculty.cse.tamu.edu/davis

Source URL: faculty.cse.tamu.edu

One-shot learning by inverting a compositional causal process Ruslan Salakhutdinov Dept. of Statistics and Computer Science University of Toronto

Source URL: cims.nyu.edu

• One-shot learning
• Artificial neural network
• Bayesian inference
• Outline of machine learning
• Statistics
• Probability and statistics
• Applied mathematics

DOI:Data science promises new insights, helping transform information into knowledge that can drive science and industry. BY FRANCINE BERMAN, ROB RUTENBAR, BRENT HAILPERN,

Source URL: destrin.smalldata.io

• Computing
• Information
• Knowledge
• Academic publishing
• Open access
• Information science
• Open science
• Big data
• Transaction processing
• Data science
• Data sharing
• Computer science

Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U

Source URL: qav.comlab.ox.ac.uk

Control-data plane intelligence trade-off in SDN Yash Sinha, Siddharth Bhatia Birla Institute of Technology and Science, Pilani, India Abstract— With the decoupling of network control and data

Source URL: www.ieee-security.org

• Computing
• Network architecture
• Emerging technologies
• Information and communications technology
• Configuration management
• Software-defined networking
• Ethernet
• OpenFlow
• Computer architecture
• Access control
• Computer network
• Network interface controller

HIGH DIMENSIONAL EXPANDERS ALEXANDER LUBOTZKY Abstract. Expander graphs have been, during the last five decades, the subject of a most fruitful interaction between pure mathematics and computer science, with influence an

Source URL: eta.impa.br

• Algebra
• Mathematics
• Spectral theory
• Geometric group theory
• Topological groups
• Algebraic topology
• Expander graph
• Kazhdan's property
• Ramanujan graph
• Simplicial complex
• Cohomology
• Spectrum